#include <string.h> 
#include <stdio.h> 

int mainx(void)
{
	char destination[25];
	char *blank = " ", *c = "C++", *Borland = "Borland";

	strcpy(destination, Borland);
	strcat(destination, blank);
	strcat(destination, c);

	printf("%s\n", destination);
	
	return 0;
}
